00100	IDENTIFICATION
00200	  	How we refer to this being. Various names, forms of names.
00300	
00400	WHAT (PURPOSE)
00500	  WHY
00600	
00700	EFFECTS
00800	  IF I ACT
00900	    HOW
01000	  IF I DON'T ACT
01100	    HOW
01200	
01300	WHEN
01400	  FACTOR1 to take into account
01500	    WEIGHT
01600	    WHY
01700	  FACTOR2 to take into account
01800	    WEIGHT
01900	    WHY
02000	  FACTOR3 to take into account
02100	    WEIGHT
02200	    WHY
02300	  FACTOR4 to take into account
02400	    WEIGHT
02500	    WHY
02600	  .
02700	  .
02800	  .
02900	  FACTORn to take into account
03000	    WEIGHT
03100	    WHY
03200	
03300	REQUISITES (What I must do if I do decide to act now)
03400	  PRE  (before beginning to act)
03500	  CO   (while acting)
03600	  POST (before passing control on)
03700	
03800	HOW 
03900	  META_CODE
04000	  COMMENTS  about the code
04100	
04200	AFFECTS
04300	  BEING1 which is affected directly if I act
04400	    HOW
04500	  .
04600	  .
04700	  .
04800	  BEINGn which is affected
04900	    HOW
05000	
05100	COMPLEXITY VECTOR
05200	  DIMENSION1  probability of  (calling)+  itself
05300	  DIMENSION2  difficulty of implementation
05400	  DIMENSION3  probability that the function would succeed
05500	  .
05600	  .
05700	  .
05800	  DIMENSIONn  efficiency of final code generated
05900	
06000	GENERALIZATIONS
06100	  	≡ PARENTS 
06200		meaning that "this function is a special case of ..."
06300	
06400	SPECIALIZATIONS
06500		≡ CHILDREN
06600		meaning "this function contains, as special cases, ..."
06700	
06800	ALTERNATIVES
06900		≡ SIBLINGS
07000		means "instead of this function we might try ..."
     

00100	
00200	Example:  the being corresponding to the outermost program-writing loop.
00300	
00400	
00500	IDENTIFICATION
00600		WRITE:PROGRAM, PROGRAM:WRITER
00700	
00800	WHAT (PURPOSE)
00900		WRITE A PROGRAM WHICH DOES ←TASK
01000	  WHY
01100		  EVAL WHY PART OF ←CALLER
01200		  FUNDAMENTAL DRIVE TO OBEY USER
01300		  (NECESSARY (PROGRAM $TASK) (COMPLETE $TASK))
01400	
01500	EFFECTS
01600	  IF I ACT
01700		EXISTS PROGRAM $TASK
01800		ABILITY $TASK
01900	    HOW
02000		  CREATE (CODE $TASK)
02100	  IF I DON'T ACT
02200		UNSATISFIED (WHY PART OF $CALLER)
02300		NOTHING DONE
02400	    HOW
02500		FUNDAMENTAL UNDERSTANDING OF FRAME PROBLEM
02600	
02700	WHEN
02800	  FACTOR1 to take into account
02900		ABILITY $TASK
03000	    WEIGHT
03100		-75
03200	    WHY
03300		IMPLIES (ABILITY $TASK) (SUPERFLUOUS (WRITE:PROGRAM $TASK))
03400	  FACTOR2 to take into account
03500		PROGRAM $TASK
03600	    WEIGHT
03700		-98
03800	    WHY
03900		PROBABLE (RETURN WRITE:PROGRAM (PROGRAM $TASK))
04000	  FACTOR3 to take into account
04100		AWARE USER (IMPENDING (WRITING  PUP PROGRAM))
04200	    WEIGHT
04300		+30
04400	    WHY
04500		IMPLIES (AND (AWARE ←BEING (IMPENDING ←EVENT))
04600			     (NOT (PROTEST ←BEING ←EVENT)))
04700		  	(CONSENTS:TO  ←BEING  ←EVENT)
04800	
04900	REQUISITES (What I must do if I do decide to act now)
05000	  PRE  (before beginning to act)
05100		AWARE USER (IMPENDING (WRITING PUP (PROGRAM $TASK)))
05200		AWARE USER (NAME $TASK ←TASK:NAME)
05300		AWARE PUP (TYPE $TASK ←TASK:TYPE)
05400		NOT (NEW INFORMATION)
05500	  CO   (while acting)
05600		NEW:CONTEXT (MAKENAME WRITE $TASK:NAME PROGRAM)
05700		APPLY PROGRAM:DEMONS
05800		APPLY VITAL:DEMONS
05900	  POST (before passing control on)
06000		AWARE USER (COMPLETE (PROGRAM $TASK))
06100		AWARE USER (ABILITY $TASK)
06200	
06300	HOW 
06400	  META_CODE
06500		DO:REPEATEDLY UNTIL ←done
06600		  OBTAIN:USABLE:INFORMATION
06700		  USE:INFORMATION
06800		  FILL:IN:UNDEFINED:SECTION
06900		  CLARIFY:IMPROBABLE:SITUATION
07000		  ADAPT:PRECONCEIVED:FUNCTION
07100		  FIX:INCORRECT:PIECE
07200	  COMMENTS  about the code
07300		IF (DIFFICULT $TASK:TYPE)
07400	            THEN (MATCHQ ←done (OR (COMPLETE $TASK:NAME)
07500					   (TOO:HARD $TASK)))
07600		    ELSE (MATCHQ ←done (COMPLETE  $TASK:NAME))
07700	
07800	AFFECTS
07900		NEW:CONTEXT
08000		  CALLED
08100		OBTAIN:USABLE:INFORMATION
08200		  POSSIBLE CALLED
08300		USE:INFORMATION
08400		  POSSIBLE CALLED
08500		FILL:IN:UNDEFINED:SECTION
08600		  POSSIBLE CALLED
08700		CLARIFY:IMPROBABLE:SITUATION
08800		  POSSIBLE CALLED
08900		ADAPT:PRECONCEIVED:FUNCTION
09000		  POSSIBLE CALLED
09100		INSTANCES (BEING ←B (WHAT  (AWARE USER ←X)))
09200		  POSSIBLE CALLED
09300		INSTANCES (BEING ←B (EFFECTS .. (NAME $TASK ←TASK:NAME) ..))
09400		  POSSIBLE CALLED
09500		INSTANCES (BEING ←B (EFFECTS  .. (AWARE USER ←X) .. ))
09600		  POSSIBLE CALLED
09700		INSTANCES (BEING ←B (WHAT (NAME $TASK ←TASK:NAME)))
09800	 	  POSSIBLE CALLED
09900	
10000	COMPLEXITY VECTOR
10100	  DIMENSION1  probability of  (calling)+  itself
10200		.3 +  .6*(DIFFICULT $TASK:TYPE)      ←←boolean 0≡false, 1≡true
10300	  DIMENSION2  difficulty of implementation
10400		.9
10500	  DIMENSION3  probability that the function would succeed
10600		.7
10700	  .
10800	  .
10900	  .
11000	  DIMENSIONn  efficiency of final code generated
11100		.5
11200	
11300	GENERALIZATIONS
11400	  	≡ PARENTS 
11500		meaning that "this function is a special case of ..."
11600		DO
11700		OBEY
11800		INSTANCES (WRITE A PROGRAM WHICH DOES (EVAL (BEING $TASK 
11900						 	(GENERALIZATIONS ..←G..))))
12000		INSTANCES (BEING ←B (EFFECTS .. (ABILITY $TASK) .. ))
12100		INSTANCES (WRITE A PROGRAM WHICH DOES (EVAL (BEING ←B 
12200			 	(SPECIALIZATIONS .. $TASK:TYPE .. ))))
12300	
12400	SPECIALIZATIONS
12500		≡ CHILDREN
12600		meaning "this function contains, as special cases, ..."
12700		MODIFY (PROGRAM ←TASK2) WHERE (SIMILAR $TASK2 $TASK:TYPE)
12800		INSTANCES (WRITE A PROGRAM WHICH DOES (BEING $TASK 
12900					(SPECIALIZATIONS .. ←S ..)))
13000		INSTANCES (WRITE A PROGRAM WHICH DOES (BEING $TASK:TYPE
13100					(SPECIALIZATIONS .. ←S ..)))
13200	
13300	ALTERNATIVES
13400		≡ SIBLINGS
13500		means "instead of this function we might try ..."
13600		SEARCH LIBRARY (BEING ←P (WHAT PROGRAM ..) 
13700					 (EFFECTS .. (ABILITY $TASK:TYPE) .. ))
13800	  	ASK USER (BEING ←P (WHAT PROGRAM WHICH DOES $TASK:TYPE))
13900	
     

00100	
00200	Example:  the being corresponding to the general concept formation info.
00300	
00400	
00500	IDENTIFICATION
00600		CONCEPT:FORMATION
00700		FORM:CONCEPTS
00800		CONCEPT:LEARNING
00900		LEARN:CONCEPTS
01000		FORMS:CONCEPTS
01100		LEARNS:CONCEPTS
01200		CONCEPT:FORMER
01300		CONCEPT:LEARNER
01400	
01500	WHAT (PURPOSE)
01600		LEARN HOW TO IMPOSE A CONCEPT STRUCTURING ON A DOMAIN 
01700		LEARN HOW TO CHARACTERIZE, OR AT LEAST DISTINGUISH, VARIOUS CONCEPTS
01800	  WHY
01900		  EVAL WHY PART OF ←CALLER
02000		  NECESSARY (CONCEPT:LEARNING) (KNOW CONCEPTS)
02100		  FUNDAMENTAL DRIVE TO OBEY USER
02200	
02300	EFFECTS
02400	  IF I ACT
02500		TYPE  CONCEPT:FORMATION ←TYPE:OF:C:F
02600		ABILITY (LEARN CONCEPTS)
02700		ABILITY $TYPE:OF:C:F
02800	    HOW
02900		CHOOSE (TYPE CONCEPT:FORMATION ←TYPE:OF:C:F)
03000	    	INSTANCES (BEING $TYPE:OF:C:F (EFFECTS ..(HOW .. ←INFO ..) ..))
03100	  IF I DON'T ACT
03200		UNSATISFIED (WHY PART OF $CALLER)
03300		NOTHING DONE
03400	    HOW
03500		FUNDAMENTAL UNDERSTANDING OF FRAME PROBLEM
03600	
03700	WHEN
03800	  FACTOR1 to take into account
03900		ABILITY $TYPE:OF:C:F
04000	    WEIGHT
04100		-75
04200	    WHY
04300		IMPLIES (ABILITY $TYPE:OF:C:F) 
04400			(SUPERFLUOUS (CONCEPT:FORMATION  $TYPE:OF:C:F))
04500	  FACTOR2 to take into account
04600		NECESSARY (CHARACTERIZE CLASSES)
04700	    WEIGHT
04800		+87
04900	    WHY
05000		WELL:SUITED CONCEPT:FORMATION CLASS:CHARACTERIZATION
05100	  FACTOR3 to take into account
05200	 	NECESSARY (DISCRIMINATE CLASSES)
05300	    WEIGHT
05400		+87
05500	    WHY
05600		WELL:SUITED CONCEPT:FORMATION CLASS:DISCRIMINATION
05700	  FACTOR4 to take into account
05800		AWARE USER (IMPENDING (ATTENTION  PUP  CONCEPT:FORMATION))
05900	    WEIGHT
06000		+30
06100	    WHY
06200		IMPLIES (AND (AWARE ←BEING (IMPENDING ←EVENT))
06300			     (NOT (PROTEST ←BEING ←EVENT)))
06400		  	(CONSENTS:TO  ←BEING  ←EVENT)
06500	
06600	REQUISITES (What I must do if I do decide to act now)
06700	  PRE  (before beginning to act)
06800		AWARE USER (IMPENDING (ATTENTION PUP CONCEPT:FORMATION))
06900		AWARE PUP (TYPE CONCEPT:FORMATION $TYPE:OF:C:F)
07000		NOT (NEW INFORMATION)
07100	  CO   (while acting)
07200		APPLY INFERENCE:DEMONS
07300		APPLY ATTENTION:DEMONS
07400		APPLY VITAL:DEMONS
07500	  POST (before passing control on)
07600		AWARE USER (AWARE PUP CONCEPT:FORMATION)
07700	
07800	HOW 
07900	  META_CODE
08000		SERIES
08100		  DETERMINE (TYPE CONCEPT:FORMATION ←TYPE:OF:C:F)
08200		  EXECUTE h
08300	  COMMENTS  about the code
08400		EXISTS (BEING $TYPE:OF:C:F  (HOW ←←h))
08500	
08600	AFFECTS
08700		EXECUTE
08800		  CALLED
08900		SERIES
09000		  CALLED
09100		INSTANCES (BEING ←B (WHAT  (AWARE USER ←X)))
09200		  POSSIBLE CALLED
09300		INSTANCES (BEING ←B (EFFECTS  .. (AWARE USER ←X) .. ))
09400		  POSSIBLE CALLED
09500		INSTANCES (BEING ←B (WHAT (NAME $TASK ←TASK:NAME)))
09600	 	  POSSIBLE CALLED
09700	
09800	COMPLEXITY VECTOR
09900	  DIMENSION1  probability of  (calling)+  itself
10000		.1
10100	  DIMENSION2  difficulty of implementation
10200		.2 + .8*(BEING $TYPE:OF:C:F (COMPLEXITY VECTOR (DIMENSION2 ←D)))
10300	  DIMENSION3  probability that the function would succeed
10400		.98*(BEING $TYPE:OF:C:F (COMPLEXITY VECTOR (DIMENSION3 ←D)))
10500	  .
10600	  .
10700	  .
10800	  DIMENSIONn  efficiency of final results
10900		.5
11000	
11100	GENERALIZATIONS
11200	  	≡ PARENTS 
11300		meaning that "this function is a special case of ..."
11400		ATTEND (i.e., think about)
11500		LEARN
11600		INDUCTIVE:INFERENCE
11700	
11800	SPECIALIZATIONS  ≡  TYPES  ≡ FLAVORS  ≡ CHOICES TO BE MADE TO PIN IT DOWN
11900		≡ CHILDREN
12000		meaning "this function contains, as special cases, ..."
12100	    In the dictionary, under CONCEPT:FORMATION, there is a category
12200	of facts about type.  To preserve uniformity, these are structured as
12300	a set of procedural decisions.  This is perhaps equivalent to a 
12400	discrimination net.  Each decision which must (eventually) be made is
12500	asserted as such.  Effects, and when the decision must be made, are
12600	provided for most of these.  The list we find is something like:
12700	(1) Concept formation can be done at one of three levels of sophistocation:
12800	    (a) Classificatory
12900	    (b) Comparitive
13000	    (c) Metrical
13100	
13200	(2) Concepts may vary with time
13300	    Affected: The basic structure of forming a concept
13400	
13500	(3) Concept formation may be dependent upon the speed of presentation
13600	    of stimuli.
13700	    Affected: Amount of effort expended on identification of stimulus.
13800	
13900	(4) Instances may be left in view indefinitely or removed after processing.
14000	    Affected: Whether new relations can be derived as needed, or
14100	              all relations must be derived upon initial exposure to
14200	              the stimulus.
14300	    When: Before deciding firmly how to get relations from input stimulus.
14400	
14500	(5) Logical complexity of the correct concept specification may vary,
14600	    from purely conjunctive concepts to purely disjunctive concepts
14700	    to mixed expressions.
14800	    Affected: How we store the description of a concept.
14900	
15000	(6) Positive transfer, negative transfer, neither, or both,   
15100	    may be present.
15200	    Affected: How previous concepts learned and previous stimuli effect
15300	              learning of new concept and recognition that it is new.
15400	    When: Before we decide firmly how to search through our set of concepts
15500	           and before we decide firmly how to insert a new concept into our
15600	           set of concepts.
15700	
15800	(7) Positive instances, negative instances, or both  may be present.
15900	    Affected: Whether to use {positive, negative} information to modify
16000	              the description of a concept.
16100	
16200	(8) Subject-specific behavior may be required.
16300	    Affected:  Parameters describing an individual must be read in.
16400	    When:  Before any processing routines are finalized.
16500	    Why: Any processing routine might have to depend upon some parameters.
16600	
16700	(9) Precise types of desired subject responses must be decided.
16800	    Affected: Output variables, output format.
16900	
17000	ALTERNATIVES
17100		≡ SIBLINGS
17200		means "instead of this function we might try ..."
17300		GRAMMATICAL:INFERENCE
17400		PATTERN:RECOGNITION
17500		SIMULATED:EVOLUTION